本文以与门电路为例,介绍电路故障诊断系统通信模块的实现方法。利用下位机将与门电路系统所构建CNF形式描述的系统行为描述,组件......

小卫星编队系统有着成本低、高性能、和较强的灵活性等众多优点,这些特有的优势使其成为目前航天领域的研究热点。通过阐述目前小......

变量消除算法作为一种重要的预处理算法已经应用于多种预处理器中。对比研究了在不同约束条件下，变量消除算法对简化性能和求解性能......

Trivium是进入到eSTREAM计划最终方案的一个序列密码体制，而在其初始化过程中存在可滑动对。SAT求解器可以有效地求解非线性方程组，......

在许多分析验证研究中,经常要对问题中的多项式组进行求解。当多项式方程组规模较大时,求解比较困难,大大限制了分析研究的效率。......

In this paper, in order to make intelligent fi re car complete autonomy path planning in simulation map. Proposed system......

密码分析学与密码编码学作为密码学的两个分支,有着矛和盾一样的关系,它们一直在相互促进对方的发展。代数分析是近年来密码分析学......

本文以与门电路为例,介绍电路故障诊断系统通信模块的实现方法。利用下位机将与门电路系统所构建CNF形式描述的系统行为描述,组件......